• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۸ پاسخ غیر تکراری از ۸ پاسخ تکراری در مدت زمان ۰,۵۶ ثانیه یافت شد.

1. Mathematical Logic :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by Roman Kossak.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Applications of Mathematics.,Arithmetic and Logic Structures.,Logic.,Mathematical Logic and Foundations.,Philosophy of Mathematics.,Mathematische Logik.

Classification :
QA8-QA10
.
4

2. Mathematical logic :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Roman Kossak

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.

Classification :
QA9
.
K67
2018

3. Nonstandard Models Of Arithmetic And Set Theory: AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: /by Ali Enayat (Editor), Roman Kossak (Editor)

Library: National Library and Archives of Islamic Republic of Iran (Tehran)

Subject:

Classification :

4. Nonstandard models of arithmetic and set theory : AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ali Enayat, Roman Kossak, editors

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Set theory

Classification :
QA
248
.
A486
2003

5. Simplicity

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Roman Kossak, Philip Ording Editors

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Mathematics -- Philosophy -- Congresses.,Art -- Philosophy -- Congresses.,ریاضیات -- فلسفه -- کنگره ها,هنر -- فلسفه -- کنگره ها

Classification :
E-Book
,

6. The structure of models of Peano arithmetic

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Roman Kossak, James H. Schmerl

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(

Classification :
QA
9
.
7
.
K68S7

7. The structure of models of Peano arithmetic

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Kossak, Roman

Library: Central Library and Documentation Center (Semnan)

Subject: ، Logic, Symbolic and mathematical,، Peano, Giuseppe--8581-2391,، Logic, Symbolic and mathematica--roblems, exercises, etc,، Isomorphisms )Mathematics(,، Isomorphisms )Mathematics--roblems, exercises, etc

Classification :
QA
9
.
7
.
K67
2006

8. The structure of models of Peano arithmetic

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Roman Kossak, James H. Schmerl

Library: Vali Asr University Central Library (Kerman)

Subject: Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc

Classification :
QA
9
.
7
.
K67
2006
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival